Module | LV Type | CP | LV | Dates | Examination |
---|---|---|---|---|---|
Compilerbau | Fach-/Modulprüfung | 6 | 541246 | ||
Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 540923 | ||
Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 541500 | ||
Vorlesung/Übung | 537540 | Mi 08:30-10:00 AH IV (2354|030) (×15) Do 10:30-12:00 AH V (2356|050) (×15) Fr 12:30-13:15 5056 (2356|056) (×15) | |||
Komplexitätstheorie | Fach-/Modulprüfung | 6 | 541541 | ||
Vorlesung | 557994 | Mi 08:30-10:00 AH III (2350|314.1) (×15) Do 16:30-18:00 AH II (2350|111) (×15) | |||
Übung | 557995 | Mi 14:30-16:00 AH II (2350|111) (×15) | |||
Mathematische Logik II | Fach-/Modulprüfung | 6 | 541301 | ||
Model Checking | Fach-/Modulprüfung | 6 | 544576 | Mo 09.02.2026 09:00-11:00 Großer Hörsaal AM (1420|210) Grüner Hörsaal AM (Gr) (1420|001) Di 10.03.2026 09:00-11:00 Großer Hörsaal AM (1420|210) | |
Vorlesung | 537573 | Mi 12:30-14:00 AH III (2350|314.1) (×15) Do 10:30-12:00 AH I (2350|028) (×15) | |||
Übung | 536600 | Fr 14:30-16:00 AH III (2350|314.1) (×15) |